Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
21	2015 IEEE Symposium on Security and Privacy ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data Michael Backes Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:12 Graph theory Cryptography Zero-knowledge proof Non-interactive zero-knowledge proof Snark Proof of knowledge IP Mathematical proof
22	Formal Proofs for Taylor Models in Coq Ioana Paşca LIP, ENS Lyon joint work with Nicolas Brisebarre, Mioara Joldeş, Erik Martin-Dorel, Micaela Mayero, Jean-Michel Muller, Laurence Rideau & Laurent Théry Add to Reading List Source URL: raim2012.u-bourgogne.fr Language: English - Date: 2012-07-16 09:24:56 Mathematical analysis Mathematics Numerical analysis Algebra Polynomial Taylor series Interval arithmetic
23	MATHEMATICS 152, FALL 2008 THE MATHEMATICS OF SYMMETRY Tips on Proofs and Presentations Last revised: August 11, 2008 In this class you will be asked to present definition, theorems, proofs and examples at the blackboard Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:48 Mathematics Logic Abstraction Statements Mathematical proofs Logical consequence Theorem Mathematical logic Model theory Conjecture Real number Sheaf
24	J. Autom. Reasoning manuscript No. (will be inserted by the editor) Semi-intelligible Isar Proofs from Machine-Generated Proofs Jasmin Christian Blanchette · Sascha Böhme · Mathias Fleury · Steffen Juilf Smolka · Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-07-02 06:25:32 Logic Mathematical logic Automated theorem proving Mathematics Mathematical proofs Proof assistants Logical truth Proof theory Isabelle First-order logic Automated reasoning Theorem
25	A Proofs Theorem 1. For a positive semidefinite matrix L and x ∈ [0, 1]N , XY Y Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2012-11-11 23:59:53 Mathematical physics Integral calculus Riemannian geometry Operator theory Morphism of algebraic varieties BakerCampbellHausdorff formula
26	Acceptable Proofs for the Society of The Ark and The Dove 1. Civil records of birth, death, marriage or marriage intention or license. 2. Church records of baptism, birth, marriage, death, burial, admission, dismission. Add to Reading List Source URL: thearkandthedove.com Language: English - Date: 2013-09-21 07:34:18 Mathematical proof Genealogy NP Conflict of marriage laws
27	DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS Nurlida Basir, Ewen Denney† and Bernd Fischer * ECS, University of Southampton, Southampton, SO17 1BJ, UK (nb206r, b.fischer)@ecs.soton.ac.uk † Add to Reading List Source URL: ti.arc.nasa.gov Language: English Proof theory Mathematical proof Theorem Natural deduction Automated reasoning Formal methods Formal proof Automated theorem proving Argument KeY Sequent First-order logic
28	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory
29	Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-11-05 07:20:14 Mathematical logic Mathematical proofs Theoretical computer science Mathematical induction Recursion Structural induction Rippling Algorithm Theorem
30	doi:j.entcs Add to Reading List Source URL: ti.arc.nasa.gov Language: English Mathematical proofs Proof theory Methods of proof Metalogic Knowledge representation Tree Model theory Natural deduction Theorem